#ifndef __SYSTUB_H__
#define __SYSTUB_H__

#include <types.h>

int syscall_dispatch(int, int, int, int, int);

#endif	/* __SYSTUB_H__ */
